target_sources(${kernel_target} PRIVATE printk.c)
